package instruction;
import structureDonnee.Invariant;


public class UpdateInstruction {
	//c'est une instruction pour remplir dans des nodes contruits par la condition ou la boucle
	//il indique que cette node va changer des environnements des nodes suivants.
	//il a un champ Invariant forUpdate qui est le Invariant qui vas remplir des environnements des nodes suivants
	//il va changer des environnements des nodes suivants aux Invariant forUpdate. 
	Invariant forUpdate;
	public UpdateInstruction(Invariant inv){
		forUpdate = new Invariant();
		forUpdate.getListIne().addAll(inv.getListIne());
	}
}
